Jana Tůmová: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Chronic simultaneous exposure of common carp (Cyprinus carpio) from embryonic to juvenile stage to drospirenone and gestodene at low ng/L level caused intersex

Šauer, Pavel, Tumová, Jitka, Steinbach, Christoph, Golovko, Oksana, Komen, Hans, Maillot-Maréchal, Emmanuelle, Máchová, Jana, Grabic, Roman, Aït-Aïssa, Selim, Kocour Kroupová, Hana

Journal:

Ecotoxicology and Environmental Safety

Year:

2020

File:

PDF, 1.02 MB

2020

2

[ACM Press the 16th international conference - Philadelphia, Pennsylvania, USA (2013.04.08-2013.04.11)] Proceedings of the 16th international conference on Hybrid systems: computation and control - HSCC '13 - Least-violating control strategy synthesis with safety rules

Tumova, Jana, Hall, Gavin C., Karaman, Sertac, Frazzoli, Emilio, Rus, Daniela

Year:

2013

Language:

english

File:

PDF, 1.46 MB

english, 2013

3

Multi-agent planning under local LTL specifications and event-based synchronization

Tumova, Jana, Dimarogonas, Dimos V.

Journal:

Year:

2016

Language:

english

File:

PDF, 1.04 MB

english, 2016

4

Effect of tonalide on early life stages of common carp

Tumova, Jitka, Steinbach, Christoph, Kumar, Vimal, Fedorova, Ganna, Machova, Jana, Grabic, Roman, Vanecek, Miloslav, Piackova, Veronika, Kroupova, Hana Kocour

Journal:

Toxicology Letters

Year:

2014

Language:

english

File:

PDF, 71 KB

english, 2014

5

Effects of Cyhalothrin-Based Pesticide on Early Life Stages of Common Carp (Cyprinus carpio L.)

Richterová, Zuzana, Máchová, Jana, Stará, Alžběta, Tumová, Jitka, Velíšek, Josef, Ševčíková, Marie, Svobodová, Zdeňka

Journal:

BioMed Research International

Year:

2014

Language:

english

File:

PDF, 1.71 MB

english, 2014

6

Formal analysis of piecewise affine systems through formula-guided refinement

Boyan Yordanov, Jana Tůmová, Ivana Černá, Jiří Barnat, Calin Belta

Journal:

Year:

2013

Language:

english

File:

PDF, 832 KB

english, 2013

7

Temporal Logic Control of Discrete-Time Piecewise Affine Systems

Yordanov, Boyan, Tumova, Jana, Cerna, Ivana, Barnat, Jiří, Belta, Calin

Journal:

IEEE Transactions on Automatic Control

Year:

2012

Language:

english

File:

PDF, 1.02 MB

english, 2012

8

[IEEE 2013 IEEE 52nd Annual Conference on Decision and Control (CDC) - Firenze (2013.12.10-2013.12.13)] 52nd IEEE Conference on Decision and Control - Incremental sampling-based algorithm for minimum-violation motion planning

Reyes Castro, Luis I., Chaudhari, Pratik, Tumova, Jana, Karaman, Sertac, Frazzoli, Emilio, Rus, Daniela

Year:

2013

Language:

english

File:

PDF, 1.79 MB

english, 2013

9

[IEEE 2017 American Control Conference (ACC) - Seattle, WA, USA (2017.5.24-2017.5.26)] 2017 American Control Conference (ACC) - Cooperative planning for coupled multi-agent systems under timed temporal specifications

Nikou, Alexandros, Boskos, Dimitris, Tumova, Jana, Dimarogonas, Dimos V.

Year:

2017

Language:

english

File:

PDF, 355 KB

english, 2017

10

[IEEE 2017 IEEE/ACM 39th International Conference on Software Engineering Companion (ICSE-C) - Buenos Aires, Argentina (2017.5.20-2017.5.28)] 2017 IEEE/ACM 39th International Conference on Software Engineering Companion (ICSE-C) - Engineering the Software of Robotic Systems

Ciccozzi, Federico, Di Ruscio, Davide, Malavolta, Ivano, Pelliccione, Patrizio, Tumova, Jana

Year:

2017

Language:

english

File:

PDF, 124 KB

english, 2017

11

[IEEE 2020 IEEE 16th International Conference on Automation Science and Engineering (CASE) - Hong Kong, Hong Kong (2020.8.20-2020.8.21)] 2020 IEEE 16th International Conference on Automation Science and Engineering (CASE) - Active Learning of Signal Temporal Logic Specifications

Linard, Alexis, Tumova, Jana

Year:

2020

File:

PDF, 438 KB

2020

12

[IEEE 2010 49th IEEE Conference on Decision and Control (CDC) - Atlanta, GA, USA (2010.12.15-2010.12.17)] 49th IEEE Conference on Decision and Control (CDC) - Formal analysis of piecewise affine systems through formula-guided refinement

Yordanov, Boyan, Tumova, Jana, Belta, Calin, Cerna, Ivana, Barnat, Jiri

Year:

2010

Language:

english

File:

PDF, 684 KB

english, 2010

13

[IEEE 2012 IEEE 51st Annual Conference on Decision and Control (CDC) - Maui, HI, USA (2012.12.10-2012.12.13)] 2012 IEEE 51st IEEE Conference on Decision and Control (CDC) - Attraction-based receding horizon path planning with temporal logic constraints

Svorenova, Maria, Tumova, Jana, Barnat, Jiri, Cerna, Ivana

Year:

2012

Language:

english

File:

PDF, 431 KB

english, 2012

14

[IEEE 2012 IEEE International Conference on Robotics and Automation (ICRA) - St Paul, MN, USA (2012.05.14-2012.05.18)] 2012 IEEE International Conference on Robotics and Automation - LTL robot motion control based on automata learning of environmental dynamics

Chen, Yushan, Tumova, Jana, Belta, Calin

Year:

2012

Language:

english

File:

PDF, 608 KB

english, 2012

15

[IEEE 2014 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2014) - Chicago, IL, USA (2014.9.14-2014.9.18)] 2014 IEEE/RSJ International Conference on Intelligent Robots and Systems - Maximally satisfying LTL action planning

Tumova, Jana, Marzinotto, Alejandro, Dimarogonas, Dimos V., Kragic, Danica

Year:

2014

Language:

english

File:

PDF, 3.81 MB

english, 2014

16

[IEEE 2016 IEEE 55th Conference on Decision and Control (CDC) - Las Vegas, NV, USA (2016.12.12-2016.12.14)] 2016 IEEE 55th Conference on Decision and Control (CDC) - Synthesizing least-limiting guidelines for safety of semi-autonomous systems

Tumova, Jana, Dimarogonas, Dimos V.

Year:

2016

Language:

english

File:

PDF, 373 KB

english, 2016

17

[IEEE Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007) - Edinburgh, Scotland, UK (2007.09.17-2007.09.19)] Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007) - ProbDiVinE: A Parallel Qualitative LTL Model Checker

Barnat, Jiri, Brim, Lubos, Cema, Ivana, Ceska, Milan, Tumova, Jana

Year:

2007

Language:

english

File:

PDF, 214 KB

english, 2007

18

Activity of cholinesterases in a young and healthy middle-European population: relevance for toxicology, pharmacology and clinical praxis

Karasova, Jana Zdarova, Maderycova, Zuzana, Tumova, Martina, Jun, Daniel, Rehacek, Vit, Kuca, Kamil, Misik, Jan

Journal:

Toxicology Letters

Year:

2017

Language:

english

File:

PDF, 354 KB

english, 2017

19

[IEEE 2014 American Control Conference - ACC 2014 - Portland, OR, USA (2014.6.4-2014.6.6)] 2014 American Control Conference - A receding horizon approach to multi-agent planning from local LTL specifications

Tumova, Jana, Dimarogonas, Dimos V.

Year:

2014

Language:

english

File:

PDF, 416 KB

english, 2014

20

[IEEE 2018 IEEE International Conference on Robotics and Automation (ICRA) - Brisbane, Australia (2018.5.21-2018.5.25)] 2018 IEEE International Conference on Robotics and Automation (ICRA) - Multi-Vehicle Motion Planning for Social Optimal Mobility-on-Demand

Karlsson, Jesper, Vasile, Cristian-Ioan, Tumova, Jana, Karaman, Sertac, Rus, Daniela

Year:

2018

Language:

english

File:

PDF, 1.50 MB

english, 2018

21

Point-Based Methods for Model Checking in Partially Observable Markov Decision Processes

Bouton, Maxime, Tumova, Jana, Kochenderfer, Mykel J.

Journal:

Proceedings of the AAAI Conference on Artificial Intelligence

Year:

2020

File:

PDF, 494 KB

2020

22

Characterization of telomeres and telomerase from the single-celled eukaryote Giardia intestinalis

Uzlíková, Magdalena, Fulnečková, Jana, Weisz, Filip, Sýkorová, Eva, Nohýnková, Eva, Tůmová, Pavla

Journal:

Molecular and Biochemical Parasitology

Year:

2016

Language:

english

File:

PDF, 283 KB

english, 2016

23

Unequal distribution of genes and chromosomes refers to nuclear diversification in the binucleated Giardia intestinalis

Tůmová, Pavla, Dluhošová, Jana, Weisz, Filip, Nohýnková, Eva

Journal:

International Journal for Parasitology

Year:

2019

Language:

english

File:

PDF, 1.65 MB

english, 2019

24

Transplantation of Embryonic Cerebellar Grafts Improves Gait Parameters in AtaxicLurcherMice

Babuska, Vaclav, Houdek, Zbynek, Tuma, Jan, Purkartova, Zdenka, Tumova, Jana, Kralickova, Milena, Vozeh, Frantisek, Cendelin, Jan

Journal:

Year:

2015

Language:

english

File:

PDF, 6.93 MB

english, 2015

25

Probabilistic Plan Synthesis for Coupled Multi-Agent Systems * *This work was supported by the H2020 ERC Starting Grant BUCOPHSYS, the Swedish Research Council (VR), the Swedish Foundation for Strategic Research (SSF) and the Knut och Alice Wallenberg Foundation.

Nikou, Alexandros, Tumova, Jana, Dimarogonas, Dimos V.

Journal:

IFAC-PapersOnLine

Year:

2017

Language:

english

File:

PDF, 501 KB

english, 2017

26

[IEEE 2019 18th European Control Conference (ECC) - Naples, Italy (2019.6.25-2019.6.28)] 2019 18th European Control Conference (ECC) - Integrated Motion Planning and Control Under Metric Interval Temporal Logic Specifications

Barbosa, Fernando S., Lindemann, Lars, Dimarogonas, Dimos V., Tumova, Jana

Year:

2019

Language:

english

File:

PDF, 555 KB

english, 2019

27

[IEEE 2010 49th IEEE Conference on Decision and Control (CDC) - Atlanta, GA, USA (2010.12.15-2010.12.17)] 49th IEEE Conference on Decision and Control (CDC) - A symbolic approach to controlling piecewise affine systems

Tumova, Jana, Yordanov, Boyan, Belta, Calin, Cerna, Ivana, Barnat, Jiri

Year:

2010

Language:

english

File:

PDF, 349 KB

english, 2010

28

Protective Effect of Unsaturated Fatty Acids on Palmitic Acid-Induced Toxicity in Skeletal Muscle Cells is not Mediated by PPARδ Activation

Tumova, Jana, Malisova, Lucia, Andel, Michal, Trnka, Jan

Journal:

Year:

2015

Language:

english

File:

PDF, 704 KB

english, 2015

29

[IEEE 2016 American Control Conference (ACC) - Boston, MA, USA (2016.7.6-2016.7.8)] 2016 American Control Conference (ACC) - Cooperative task planning of multi-agent systems under timed temporal specifications

Nikou, Alexandros, Tumova, Jana, Dimarogonas, Dimos V.

Year:

2016

Language:

english

File:

PDF, 286 KB

english, 2016

30

[IEEE 2018 17th European Control Conference (ECC) - Limassol, Cyprus (2018.6.12-2018.6.15)] 2018 European Control Conference (ECC) - Decentralized Dynamic Multi-Vehicle Routing via Fast Marching Method

Karlsson, Jesper, Tumova, Jana

Year:

2018

Language:

english

File:

PDF, 583 KB

english, 2018

31

Cerebral blood supply with aging: Normal, stenotic and recanalized

Pavel Kalvach, Daniela Gregová, Ondřej Škoda, Tomáš Peisker, Radka Tůmová, Jana Termerová, Jaroslav Korsa

Journal:

Journal of the Neurological Sciences

Year:

2007

Language:

english

File:

PDF, 377 KB

english, 2007

32

[IEEE 2014 IEEE 53rd Annual Conference on Decision and Control (CDC) - Los Angeles, CA, USA (2014.12.15-2014.12.17)] 53rd IEEE Conference on Decision and Control - Cooperative decentralized multi-agent control under local LTL tasks and connectivity constraints

Guo, Meng, Tumova, Jana, Dimarogonas, Dimos V.

Year:

2014

Language:

english

File:

PDF, 830 KB

english, 2014

33

Communication-Free Multi-Agent Control under Local Temporal Tasks and Relative-Distance Constraints

Guo, Meng, Tumova, Jana, Dimarogonas, Dimos

Journal:

IEEE Transactions on Automatic Control

Year:

2016

Language:

english

File:

PDF, 1.84 MB

english, 2016

34

Age-related changes in the carcass yield and meat quality of male and female nutrias ( Myocastor coypus ) under intensive production system

Tůmová, Eva, Chodová, Darina, Vlčková, Jana, Němeček, Tomáš, Uhlířová, Linda, Skřivanová, Věra

Journal:

Year:

2017

Language:

english

File:

PDF, 206 KB

english, 2017

35

[ACM Press the 40th International Conference - Gothenburg, Sweden (2018.05.27-2018.06.03)] Proceedings of the 40th International Conference on Software Engineering Companion Proceeedings - ICSE '18 - Towards multi-robot applications planning under uncertainty

Menghi, Claudio, García, Sergio, Pelliccione, Patrizio, Tumova, Jana

Year:

2018

Language:

english

File:

PDF, 121 KB

english, 2018

36

Primary rat hepatocytes in chemical testing and QSAR predictive applicability

Miloň Tichý, Adéla Pokorná, Iveta Hanzlíková, Jana Nerudová, Jana Tumová, Rút Uzlová

Journal:

Toxicology in Vitro

Year:

2010

Language:

english

File:

PDF, 215 KB

english, 2010

37

Extrapolation of toxic indices among test objects

Tichý, Miloň, Rucki, Marián, Roth, Zdeněk, Hanzlíková, Iveta, Vlková, Alena, Tumová, Jana, Uzlová, Rút

Journal:

Interdisciplinary Toxicology

Year:

2010

Language:

english

File:

PDF, 195 KB

english, 2010

38

The Effectiveness Of Life-Style Counselling In Patients With Atherogenic Dyslipidemia On Lipid Profile And Atherosclerosis Risk

Tůmová, E., Šatný, M., Šnedrlová, M., Altschmiedová, T., Jiří, L., Jana, M., Vrablík, M.

Journal:

Atherosclerosis

Year:

2019

Language:

english

File:

PDF, 294 KB

english, 2019

39

Conserved guanine-guanine stacking in tetraplex and duplex DNA

Jaroslav Kypr, Markéta Fialová, Jana Chládková, Marcela Tůmová, Michaela Vorlíčková

Journal:

European Biophysics Journal

Year:

2001

Language:

english

File:

PDF, 99 KB

english, 2001

40

[IEEE 2013 American Control Conference (ACC) - Washington, DC (2013.6.17-2013.6.19)] 2013 American Control Conference - Minimum-violation LTL planning with conflicting specifications

Tumova, Jana, Castro, Luis I. Reyes, Karaman, Sertac, Frazzoli, Emilio, Rus, Daniela

Year:

2013

Language:

english

File:

PDF, 358 KB

english, 2013

41

[IEEE 2015 54th IEEE Conference on Decision and Control (CDC) - Osaka, Japan (2015.12.15-2015.12.18)] 2015 54th IEEE Conference on Decision and Control (CDC) - Hybrid control of multi-agent systems under local temporal tasks and relative-distance constraints

Guo, Meng, Tumova, Jana, Dimarogonas, Dimos V.

Year:

2015

Language:

english

File:

PDF, 309 KB

english, 2015

42

[IEEE 2020 IEEE 16th International Conference on Automation Science and Engineering (CASE) - Hong Kong, Hong Kong (2020.8.20-2020.8.21)] 2020 IEEE 16th International Conference on Automation Science and Engineering (CASE) - Safe Motion Planning for an Uncertain Non-Holonomic System with Temporal Logic Specification

Tajvar, Pouria, Barbosa, Fetnando S., Tumova, Jana

Year:

2020

File:

PDF, 848 KB

2020

43

Histopathological aspects of liver under variable food restriction: Has the intense one-week food restriction a protective effect on non-alcoholic-fatty-liver-disease (NAFLD) development?

Makovicky, Peter, Tumova, Eva, Volek, Zdenek, Makovicky, Pavol, Vodickova, Ludmila, Slyskova, Jana, Svoboda, Miroslav, Rejhova, Alexandra, Vodicka, Pavel, Samasca, Gabriel, Kralova, Alena, Nagy, Melin

Journal:

Pathology - Research and Practice

Year:

2014

Language:

english

File:

PDF, 1.58 MB

english, 2014

44

The effect of substituted amides of pyrazine-2-carboxylic acids on flavonolignan production inSilybum marianumculturein vitro

Lenka Tumova, Katerina Gallova, Jana Rimakova, Martin Dolezal, Jiri Tuma

Journal:

Acta Physiologiae Plantarum

Year:

2005

Language:

english

File:

PDF, 201 KB

english, 2005

45

On the timed temporal logic planning of coupled multi-agent systems

Nikou, Alexandros, Boskos, Dimitris, Tumova, Jana, Dimarogonas, Dimos V.

Journal:

Year:

2018

Language:

english

File:

PDF, 746 KB

english, 2018

46

[IEEE 2015 54th IEEE Conference on Decision and Control (CDC) - Osaka, Japan (2015.12.15-2015.12.18)] 2015 54th IEEE Conference on Decision and Control (CDC) - Decomposition of multi-agent planning under distributed motion and task LTL specifications

Tumova, Jana, Dimarogonas, Dimos V.

Year:

2015

Language:

english

File:

PDF, 358 KB

english, 2015

47

Oxidative stress induced by fluoroquinolone enrofloxacin in zebrafish (Danio rerio) can be ameliorated after a prolonged exposure

Sehonova, Pavla, Tokanova, Nina, Hodkovicova, Nikola, Kocour Kroupova, Hana, Tumova, Jitka, Blahova, Jana, Marsalek, Petr, Plhalova, Lucie, Doubkova, Veronika, Dobsikova, Radka, Chloupek, Petr, Doleza

Journal:

Environmental Toxicology and Pharmacology

Year:

2019

Language:

english

File:

PDF, 502 KB

english, 2019

48

[IEEE 2020 IEEE 16th International Conference on Automation Science and Engineering (CASE) - Hong Kong, Hong Kong (2020.8.20-2020.8.21)] 2020 IEEE 16th International Conference on Automation Science and Engineering (CASE) - Intention-aware motion planning with road rules

Karlsson, Jesper, Tumova, Jana

Year:

2020

File:

PDF, 2.75 MB

2020

49

8-oxoguanine DNA glycosylase (OGG1) deficiency elicits coordinated changes in lipid and mitochondrial metabolism in muscle

Vartanian, Vladimir, Tumova, Jana, Dobrzyn, Pawel, Dobrzyn, Agnieszka, Nakabeppu, Yusaku, Lloyd, R. Stephen, Sampath, Harini, López Lluch, Guillermo

Journal:

Year:

2017

Language:

english

File:

PDF, 2.28 MB

english, 2017

50

The DNA Repair Protein OGG1 Protects Against Obesity by Altering Mitochondrial Energetics in White Adipose Tissue

Komakula, Sai Santosh Babu, Tumova, Jana, Kumaraswamy, Deeptha, Burchat, Natalie, Vartanian, Vladimir, Ye, Hong, Dobrzyn, Agnieszka, Lloyd, R. Stephen, Sampath, Harini

Journal:

Scientific Reports

Year:

2018

Language:

english

File:

PDF, 2.48 MB

english, 2018

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски